Простийпошук |
Розширенийпошук |
Покажчики
|
Професійний пошук |
Рубрикатор НБУВ |
Розподілений пошук |
Бази даних
Наукова періодика України - результати пошуку
Книжкові видання та компакт-дискиЖурнали та продовжувані виданняАвтореферати дисертаційРеферативна база данихНаукова періодика УкраїниТематичний навігаторАвторитетний файл імен осіб
 |
Для швидкої роботи та реалізації всіх функціональних можливостей пошукової системи використовуйте браузер "Mozilla Firefox" |
|
|
Повнотекстовий пошук
Список видань за алфавітом назв: Авторський покажчик Покажчик назв публікацій  |
Пошуковий запит: (<.>A=Львов M$<.>) | |||
|
Загальна кількість знайдених документів : 3 Представлено документи з 1 до 3 |
|||
| 1. | 
Львов M. C. Метод доказательства инвариантности линейных неравенств для линейных циклов [Електронний ресурс] / M. C. Львов // Кибернетика и системный анализ. - 2014. - Т. 50, № 4. - С. 180-185. - Режим доступу: http://nbuv.gov.ua/UJRN/KSA_2014_50_4_18 Приведен новый метод доказательства инвариантности системы линейных неравенств для итеративных циклов, определенных над полем рациональных чисел с линейным оператором в теле цикла. Метод учитывает предусловие цикла в виде системы линейных неравенств. Рассмотрения ограничены случаем, когда все собственные значения линейного оператора вещественны. Метод основан на вычислении числа итераций цикла, после выполнения которых инвариантность системы линейных неравенств либо обеспечивается, либо опровергается. Метод использует представление линейного оператора в его жордановой форме. | ||
| 2. |
Львов M. C. О структуре полиномиальных инвариантов линейных циклов [Електронний ресурс] / M. C. Львов // Кибернетика и системный анализ. - 2015. - Т. 51, № 3. - С. 143-156. - Режим доступу: http://nbuv.gov.ua/UJRN/KSA_2015_51_3_13 Рассмотрена задача генерации полиномиальных инвариантов итерационных циклов с оператором инициализации цикла и невырожденным линейным оператором в теле цикла. Множество таких инвариантов образует идеал кольца полиномов от переменных цикла. Приведен алгоритм вычисления базисных инвариантов для линейного оператора типа жордановой клетки, а также алгоритм вычисления базисных инвариантов диагонализируемого линейного оператора с неприводимым минимальным характеристическим полиномом. Доказана теорема о строении базиса идеала инвариантов: он состоит из базисных инвариантов жордановых клеток и базисных инвариантов диагонализируемой части рассматриваемого линейного оператора. | ||
| 3. |
Львов M. C. Анализ линейно определенных итеративных циклов [Електронний ресурс] / M. C. Львов // Кибернетика и системный анализ. - 2016. - Т. 52, № 1. - С. 122-136. - Режим доступу: http://nbuv.gov.ua/UJRN/KSA_2016_52_1_15 Розглянуто новий метод доведення інваріантності системи лінійних нерівностей, а також завершуваності лінійно визначених ітеративних циклів імперативних програм. Тіло циклу - лінійний оператор, що перетворює вектор змінних програми. Метод враховує передумову циклу, а також умову повторення циклу у вигляді сукупності систем лінійних нерівностей. Метод базується на побудові та аналізі спектра цього лінійного оператора та обчисленні кількості ітерацій циклу, після виконання яких інваріантність або забезпечується, або спростовується. Теоретичний матеріал роботи проілюстровано прикладами. | ||
Попередній перегляд: 
Реферативна БД
 |
| Відділ наукової організації електронних інформаційних ресурсів |
 Пам`ятка користувача |